

#include <irq.h>
#include <idt.h>
#include <klib.h>
#include <video.h>
#include <memory.h>

extern __mov_cursor(int, int);

/**
 * This is the main function for freeGSD. Pretty cool.
 */

int main(){

  k_print("Welcome to freeGSD\n");
  k_print("Using 32bit protected mode.\n");
  k_print("Testing klib functions:\n");
  
  k_print("Initializing IDT...\n");
  __set_default_idt();
  __idt_init();
  k_print(" IDT init'ed.\n");

  k_print("Initializing IRQs...\n");
  //__irq_remap();
  k_print(" IRQs successfully remapped.\n");

  k_print("Initializing memory...\n");
  __init_memory();

  __kb_init();

  /* Infinte loop */
  for (;;);

}

